Lazy K

組み込み関数が3つしかない

install

メタ言語→Lazy Kに変換するコンパイラも含む

以下のような3つの関数しかない

これを組み合わせてプログラムを書く

code:hs

I x = x

K x y = x

S x y z = (x z) (y z)

4つの表記法を組み合わせてプログラムを書くらしい

コンビネータ算法様式

通称「CC」

S,K,Iの3つのコンビネータ

Unlambda様式

参考